A Complete Bibliography of Publications in Higher-Order Symbolic Computation
نویسندگان
چکیده
p [6]. -Calculus [6]. Actor [9]. Algorithmic [2]. Approach [5]. Binding [8]. Calculus [6, 13]. Composable [9]. CPS [5]. Definitional [10, 11]. Direct [6]. Dynamic [8]. Editorial [1]. Extended [13]. First [12]. Generalization [3, 4]. Higher [11]. Higher-Order [11]. Interpreter [13]. Interpreters [10, 11]. Introduction [3]. Jumps [3, 4]. Labels [3, 4]. Lambda [13]. Landin [3]. Language [2]. Languages [11]. ML [7]. Models [9]. Order [11].
منابع مشابه
A Complete Bibliography of Publications in Lisp and Symbolic Computation
86, 128]. Abstraction [62]. Acid [89]. Adding [119]. Addison [19, 25]. Addison-Wesley [19, 25]. Algebraic [17]. Algorithm [122]. Algorithms [85]. Analysis [20, 36, 46, 88, 99, 102, 103, 110]. Answer [50]. Applicable [13]. Application [88, 89]. Applications [69]. Applicative [6]. Approach [30, 36, 48, 70]. Architecture [27, 52, 114]. Aren’t [18]. Arity [30]. Arrays [16]. Artificial [15]. Assignm...
متن کاملA Complete Bibliography of Publications in the Journal of Symbolic Computation
(1 + i) [Wei00]. (1, 1) [FES11]. (i, j) [MP04]. (k, 3) [HJ15]. (N,N) [Sha01]. (n − 1) [RW90]. (w, σ) [AP10]. (xy)z = y(zx) [HJM93, HJM94]. ∗ [Con93]. 0/0 [Chi08]. 1 [FFP98, Mos08]. 1000 [RDU03]. 112 [KLZA12]. 12 [BCE01]. 15 [KM00b]. 17 [Wil93]. 2 [AKS12, Cre01, DS02, Eic10, GS12, HLM95, JPPSG09, Kos07, Sha01, SW97b, Wil90]. 23 ≤ n ≤ 26 [Ng89]. 2 [Wur93]. 2A [Mat01b]. 3 [JWC16, LN13, LMM05, Wil9...
متن کاملSymbolic computation of the Duggal transform
Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...
متن کاملA Complete Bibliography of Publications in Concurrency and Computation: Practice and Experience
(α, k) [LXW17]. 1 [VDL15]. 16× 16 [TPGC15]. 2 [CCW06, PDC16]. 2pq [CL14]. 3 [ACIC13, DCG11, EMEY14, KSM08a, MBP16, MCY07, MJL01, OLG15, PSLC11, PSCK15, RWK17, TTR10, YBC07, ZLKK17]. 2 [YNX16]. TM [YL01, ZJKL10]. n [LSP15]. TP [LTK17]. c [HW16]. ` [DHV03]. G(d) [WCA08]. K [LFZ07, DHV03, GR13, KH12, PGL17, TLX17]. LU [DFLL14]. N [BDH15, CGK14, GGV14, SSB14, TL14, AS15, PGL17, PDCA17]. s [PGL17]. ...
متن کاملVisual Lisp/CLOS programming in OpenMusic
OpenMusic (OM) is a visual programming language developed on top of Common Lisp and CLOS, in which most of the functional and object-oriented programming concepts can be implemented and carried out graphically. Although this visual language was designed for musical applications, the focus in this paper is to describe and study OM as a complete general-purpose programming environment.
متن کامل